1. Beweistheorie
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
S377
2. #Proof theory
پدیدآورنده : #Kurt Schutte , translation from the German by J. N. Crossley
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Proof theory
رده :
#
QA
،#.
S3813
3. Proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
5. Proof theory, Beweistheorie.English
پدیدآورنده : Schutte, K.)Kurt(, Kurt Schutte ; translation from the German by J. N. Crossley
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
6. Vollstandige Systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S3793
7. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
8. Vollstandige systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S46
1968
9. proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
